default logic

NET should use default logic to determine the appropriate permissions set for the specified assembly.

NET应使用默认逻辑来确定指定程序集的适当权限集.

Nonmonotonic reasoning systems including default logic logic are important in the commonsense reasoning of artificial intelligence.

非单调推理是人工智能领域中一类重要的常识推理,其中包含缺省逻辑、自认知逻辑等内容.

This paper attempts to examine the inferential process of conversational implicature in the light of non-monotonic logic, study the issue of how non-monotonic logic can be employed to cancel the conversational implicature and make use of plausible reasoning and default reasoning to infer the conversational implicature.

本文试图从非单调逻辑的角度来探讨会话含义的推导过程，运用非单调逻辑来解释会话含义的可取消性特征，使用合情推理、缺省推理来推导会话含义。